Dla uproszczenia przyjlimy tylko trzy zmienne oraz cztery dziaania. Oczywicie, liczba zmiennych i symboli operacji moe by dowolna. W formuach tych wystpuj wszystkie nawiasy. Normalnie w zapisie formu arytmetycznych nie wszystkie nawiasy s konieczne. Na przykad zamiast [~] moemy napisa [~]. Polecamy czytelnikowi zastanowienie si, jaka powinna by gramatyka takiego uproszczonego jzyka arytmetycznego. 